An official website of the United States government
Note: When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external site maintained by the publisher.
Some full text articles may not yet be available without a charge during the embargo (administrative interval).
What is a DOI Number?
Some links on this page may take you to non-federal websites. Their policies may differ from this site.
-
We give an explicit point-set construction of the Dennis trace map from the K-theory of endomorphisms K End(C) to topological Hochschild homology THH(C) for any spectral Waldhausen category C. We describe the necessary technical foundations, most notably a well-behaved model for the spectral category of diagrams in C indexed by an ordinary category via the Moore end. This is applied to define a version of Waldhausen’s S•-construction for spectral Waldhausen categories, which is central to this account of the Dennis trace map. Our goals are both convenience and transparency—we provide all details except for a proof of the additivity theorem for THH, which is taken for granted—and the exposition is concerned not with originality of ideas, but rather aims to provide a useful resource for learning about the Dennis trace and its underlying machinery.more » « lessFree, publicly-accessible full text available January 1, 2026
-
We give an explicit point-set construction of the Dennis trace map from the K-theory of endomorphisms K End(C) to topological Hochschild homology THH(C) for any spectral Waldhausen category C. We describe the necessary technical foundations, most notably a well-behaved model for the spectral category of diagrams in C indexed by an ordinary category via the Moore end. This is applied to define a version of Waldhausen’s S•-construction for spectral Waldhausen categories, which is central to this account of the Dennis trace map. Our goals are both convenience and transparency—we provide all details except for a proof of the additivity theorem for THH, which is taken for granted—and the exposition is concerned not with originality of ideas, but rather aims to provide a useful resource for learning about the Dennis trace and its underlying machinery.more » « lessFree, publicly-accessible full text available January 1, 2026
-
Smooth and proper dg-algebras have an Euler class valued in the Hochschild homology of the algebra. This Euler class is worthy of this name since it satisfies many familiar properties including compatibility with the pairing on the Hochschild homology of the algebra and that of its opposite. This compatibility is the Riemann–Roch theorems of [21, 14]. In this paper, we prove a broad generalization of these Riemann–Roch theorems. We generalize from the bicategory of dg-algebras and their bimodules to symmetric monoidal bicategories and from the Euler class to traces of non-identity maps. Our generalization also implies spectral Riemann–Roch theorems. We regard this result as an instantiation of a 2-dimensional generalized cobordism hypothesis. This perspective draws the result close to many others that generalize results about Euler characteristics and classes to bicategorical traces.more » « less
-
Shulman, Michael (Ed.)Coherence theorems are fundamental to how we think about monoidal categories and their generalizations. In this paper we revisit Mac Lane's original proof of coherence for monoidal categories using the Grothendieck construction. This perspective makes the approach of Mac Lane's proof very amenable to generalization. We use the technique to give efficient proofs of many standard coherence theorems and new coherence results for bicategories with shadow and for their functors.more » « less
-
null (Ed.)Abstract We answer in the affirmative two conjectures made by Klein and Williams. First, in a range of dimensions, the equivariant Reidemeister trace defines a complete obstruction to removing $$n$$-periodic points from a self-map $$f$$. Second, this obstruction defines a class in topological restriction homology. We prove these results using duality and trace for bicategories. This allows for immediate generalizations, including a corresponding theorem for the fiberwise Reidemeister trace.more » « less
Full Text Available